Stålmarck's method for automated theorem proving in first order logic
- Författare
- Institutionen för datavetenskap (Göteborg) Magnus Björk
- (Magnus Björk., Lic.-avh. Göteborg : Chalmers tekn. högsk., 2003)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2003 | Sverige, Göteborg | 94 sidor. ill. |